1. Automation of Reasoning :
پدیدآورنده : edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
2. Computation, Logic, Philosophy :
پدیدآورنده : by Hao Wang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information theory.,Mathematics.,Technology -- Philosophy.
3. Outline of mathematical logic :
پدیدآورنده : Andrzej Grzegorczyk
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA9
.
A537
2013
4. Proof Theory
پدیدآورنده : by Kurt Schütte.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.
5. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
موضوع : ، Proof theory,، Number theory,، Predicate calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Proof theory,، Numbers, Theory of,، Predicate calculus
رده :
QA
3
.
L28
no
.
447
7. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
1
.
L4
v
.
447
8. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann, 0491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
3
.
L28
Vol
.
447
